" Anna Philippou" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

Stefan Kowalewski, Anna Philippou

7.35 Mb

#2

Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009

Stefan Kowalewski, Anna Philippou

Категория: Cs_Computer science, CsLn_Lecture notes

5.19 Mb